Identity (x+y)^2